×

herbrand base meaning in English

海尔勃朗基

Examples

  1. A member of the herbrand base is called atom in automatic theorem proving
    在自动定理证明中,海尔勃朗基的成员也称为原子。

Related Words

  1. herbrand
  2. herbrand interpretation
  3. herbrand theorem
  4. jacques herbrand
  5. herbrand universe
  6. herbrand tools corp
  7. herbovelay
  8. herbrand
  9. herbrand interpretation
  10. herbrand theorem
PC Version

Copyright © 2018 WordTech Co.